Koha online catalog › Results of search for 'Provider:Springer-Verlag, and se:Monographs in computer science'

	1.	Programming Methodology by Mclver, Annabelle \| Morgan, Carroll. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1). Place hold
	2.	Abstraction, Refinement and Proof for Probabilistic Systems by McIver, Annabelle \| Morgan, Carroll. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1). Place hold

Koha online